On the stability of ocean overflows

Author Posting. © Cambridge University Press, 2008. This article is posted here by permission of Cambridge University Press for personal use, not for redistribution. The definitive version was published in Journal of Fluid Mechanics 602 (2008): 241-266, doi:10.1017/S0022112008000827.The stability of a hydraulically driven sill flow in a rotating channel with smoothly varying cross-section is considered. The smooth topography forces the thickness of the moving layer to vanish at its two edges. The basic flow is assumed to have zero potential vorticity, as is the case in elementary models of the hydraulic behaviour of deep ocean straits. Such flows are found to always satisfy Ripa's necessary condition for instability. Direct calculation of the linear growth rates and numerical simulation of finite-amplitude behaviour suggests that the flows are, in fact, always unstable. The growth rates and nonlinear evolution depend largely on the dimensionless channel curvature κ=2αg′/f2, where 2α is the dimensional curvature, g′ is the reduced gravity, and f is the Coriolis parameter. Very small positive (or negative) values of κ correspond to dynamically wide channels and are associated with strong instability and the breakup of the basic flow into a train of eddies. For moderate or large values of κ, the instability widens the flow and increases its potential vorticity but does not destroy its character as a coherent stream. Ripa's condition for stability suggests a theory for the final width and potential vorticity that works moderately well. The observed and predicted growth in these quantities are minimal for κ≥1, suggesting that the zero-potential-vorticity approximation holds when the channel is narrower than a Rossby radius based on the initial maximum depth. The instability results from a resonant interaction between two waves trapped on opposite edges of the stream. Interactions can occur between two Kelvin-like frontal waves, between two inertia–gravity waves, or between one wave of each type. The growing disturbance has zero energy and extracts zero energy from the mean. At the same time, there is an overall conversion of kinetic energy to potential energy for κ>0, with the reverse occurring for κ<0. When it acts on a hydraulically controlled basic state, the instability tends to eliminate the band of counterflow that is predicted by hydraulic theory and that confounds hydraulic-based estimates of volume fluxes in the field. Eddy generation downstream of the controlling sill occurs if the downstream value of κ is sufficiently small.This work was supported by the National Science Foundation (Grant OCE- 0525729)

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+ . We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.Comment: 45 page

Resume of David R. Pratt, 1995

Naval Postgraduate School Faculty Resum

1976 Base Data for the Dairy Market Policy Simulator

A.E. Res. 80-2

The Software Required for the Computer Generation of Virtual Environments

Presence, Vol. 2, No. 2, pp. 130-140..Accepted/Published Paper (Refereed

Increased Recombination Between Active tRNA Genes

Transfer RNA genes are distributed throughout eukaryotic genomes, and are frequently found as multicopy families. In Saccharomyces cerevisiae, tRNA gene transcription by RNA polymerase III suppresses nearby transcription by RNA polymerase II, partially because the tRNA genes are clustered near the nucleolus. We have tested whether active transcription of tRNA genes might also suppress recombination, since recombination between identical copies of the repetitive tRNA genes could delete intervening genes and be detrimental to survival. The opposite proved to be the case. Recombination between active tRNA genes was elevated, but only when both genes are transcribed. We also tested the effects of tRNA genes on recombination between the direct terminal repeats of a neighboring retrotransposon, since most Ty retrotransposons reside next to tRNA genes, and the selective advantage of this arrangement is not known.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/63113/1/dna.2006.25.359.pd

NPSOFF: An Object Description Language for Supporting Virtual World Construction

Computers & Graphics, Vol. 17, No. 4, pp 457-464, January 25, 1994.Accepted/Published Paper (Refereed

Correlation measurements in high-multiplicity events

Requirements for correlation measurements in high--multiplicity events are discussed. Attention is focussed on detection of so--called hot spots, two--particle rapidity correlations, two--particle momentum correlations (for quantum interferometry) and higher--order correlations. The signal--to--noise ratio may become large in the high--multiplicity limit, allowing meaningful single--event measurements, only if the correlations are due to collective behavior.Comment: MN 55455, 20 pages, KSUCNR-011-92 and TPI-MINN-92/47-T (revised). Revised to correct typo in equation (30), and to fill in a few steps in calculations. Now published as Phys. Rev. C 47 (1993) 232